rigorous upper bound

[數] 嚴格的上界